<html>
<head><meta charset="utf-8"><title>typeof · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/typeof.html">typeof</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="205617756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/typeof/near/205617756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> chabing <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/typeof.html#205617756">(Jul 31 2020 at 17:27)</a>:</h4>
<p>The <code>typeof</code> keyword has been reserved for a while: <a href="https://github.com/rust-lang/rust/issues/3228">https://github.com/rust-lang/rust/issues/3228</a></p>
<p>I wan't to help get this across the finish line - what would I have to do? Is it just an RFC blocking it?</p>



<a name="205619981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/typeof/near/205619981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/typeof.html#205619981">(Jul 31 2020 at 17:47)</a>:</h4>
<p>I'd say it's more than that</p>



<a name="205619991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/typeof/near/205619991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/typeof.html#205619991">(Jul 31 2020 at 17:47)</a>:</h4>
<p>also a bit of "do we want this" and some implementation issues around it</p>



<a name="205620001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/typeof/near/205620001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/typeof.html#205620001">(Jul 31 2020 at 17:47)</a>:</h4>
<p>work on const generics probably helps iron some of those out, though</p>



<a name="205620220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/typeof/near/205620220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/typeof.html#205620220">(Jul 31 2020 at 17:49)</a>:</h4>
<p>I personally do want it. I don't know if there are objections from others.</p>



<a name="205843280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/typeof/near/205843280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scottmcm <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/typeof.html#205843280">(Aug 03 2020 at 20:25)</a>:</h4>
<p>I think that once we have abstract type, we'll end up with a typeof-hack, and should thus probably just make it for real.</p>



<a name="205843414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/typeof/near/205843414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scottmcm <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/typeof.html#205843414">(Aug 03 2020 at 20:26)</a>:</h4>
<p>Or some version of "my impl Foo is the same as that other library method's impl Foo", at least.</p>



<a name="205845626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/typeof/near/205845626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/typeof.html#205845626">(Aug 03 2020 at 20:47)</a>:</h4>
<p>So like how the generic matrix add output is the add output of the component type in a new matrix of the same size?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>